121. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده : Seligman, Erik
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
122. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J,William J. McCalla
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
123. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
124. Fundamentals of digital logic design: With VLSI circuit applications
پدیدآورنده : Douglas A. Pucknell
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Integrated circuits - very large scale integration - Design and construction - Mathematical models,Logic design
رده :
TK
,
7874
,.
P85
,
1990
125. Fundamentals of digital logic design, with VLSI applications
پدیدآورنده : Pucknell, Douglas A., 7291-
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Mathematical models,، Logic design
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
126. Fundamentals of digital logic design: with VLSI circuit applications
پدیدآورنده : Pucknell, Douglas A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Very large scale integration - Design and construction - Mathematical models ، Integrated circuits,، Logic design
رده :
TK
7874
.
P85
1989
127. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده : Mazumder, Pinaki.,Pinaki Mazumder, Elizabeth M. Rudnick
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Integrated circuits, Very large scale integration, Design and construction,، Integrated circuits, Very large scale integration, Testing,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39G4
2007
128. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده : Mazumder, Pinaki.
کتابخانه: (Semnan)
موضوع : ، Integrated circuits --Very large scale integration --Design and construction.,، Integrated circuits --Very large scale integration --Testing.,، Genetic algorithms.,، Integrated circuit layout.
رده :
TK
7874
.
75
.
M3G4
129. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده : Mazumder, Pinaki.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Very large scale integration -- Design and construction ، Integrated circuits,Very large scale integration -- Testing ، Integrated circuits,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39
2007
130. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
131. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
132. High-level VLSI synthesis
پدیدآورنده : edited by Raul Camposano and Wayne Wolf
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
رده :
TK
7874
.
H5243
1991
133. High-level test synthesis of digital VLSI circuits
پدیدآورنده : Lee, Mike Tien-Chien
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing
رده :
TK
7874
.
75
.
L44
1997
134. High-performance digital VLSI circuit design
پدیدآورنده : Gu, Richard X.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
G8
1996
135. High speed CMOS design styles
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metal oxide semiconductors, Complementary-- Design and construction,، Integrated circuits-- Very large scale integration-- Design and construction,، Electronic circuit design
رده :
TK
7871
.
99
.
M44
.
H54
1998
136. High speed CMOS design styles. ]CD[
پدیدآورنده : Kerry Bernstein ... ]et al.[
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Design and construction ، Metal oxide semiconductors, Complementary,Very large scale integration Design and construction ، Integrated circuits,، Electronic circuit design
رده :
TK7871
.
99
.
M44
H54
1998
137. ISPD'11 : Proceedings of the 2011 ACM/SIGDA International Symposium on Physical Design, March 27-30, 2011, Santa Barbara, California, USA
پدیدآورنده : sponsored by : ACM SIGDA; technical co-sponsored by : CAS; supported by : ATopTech...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Design and construction -- Congresses ، Integrated circuits
رده :
TK
7874
.
75
.
I57
2011
138. Integrated circuit defect-sensitivity : theory and computational models
پدیدآورنده : by Jose Pineda de Gyvez
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Integrated circuits - Very large scale integration - Defects - Mathematical models,Computer-aided design
رده :
TK
7874
.
P53
1993
139. Integrated circuits :
پدیدآورنده : Pieter Stroeve, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Integrated circuits-- Very large scale integration-- Design and construction, Congresses.
رده :
TK7874
.
I5462
1985
140. Integrated circuits:chemical and physical processing
پدیدآورنده : / Pieter stroeve,editor
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits-very Large scale integration-Design and construction congresses
رده :
TK7874
.
I5462
1985